fetch:
	wget http://www.omg.org/spec/BMM/20081101/08-11-13.xmi
	mv 08-11-13.xmi fetched/
